((v1 v2 4) (v1 v3 6) (v2 v3 4) (v1 v4 3) (v2 v4 8) (v3 v4 3))
31
((v3 v4) (v2 v4))